Fernando L. Dotti: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Verifying Object-Based Graph Grammars

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 346 KB

english, 2004

2

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars

Fábio Pasini, Fernando L. Dotti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 572 KB

english, 2007

3

Structured Markovian models for discrete spatial mobile node distribution

Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes

Journal:

Journal of the Brazilian Computer Society

Year:

2011

Language:

english

File:

PDF, 1.69 MB

english, 2011

4

Modeling the webgraph evolution

Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando L. Dotti

Journal:

Journal of Computational Science

Year:

2011

Language:

english

File:

PDF, 1.30 MB

english, 2011

5

[IEEE 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Luxembourg City, Luxembourg (2018.6.25-2018.6.28)] 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Byzantine Fault-Tolerant Atomic Multicast

Coelho, Paulo, Junior, Tarcisio Ceolin, Bessani, Alysson, Dotti, Fernando, Pedone, Fernando

Year:

2018

Language:

english

File:

PDF, 364 KB

english, 2018

6

Screening of ARHSP-TCC patients expands the spectrum of SPG11 mutations and includes a large scale gene deletion

Paola S. Denora, David Schlesinger, Carlo Casali, Fernando Kok, Alessandra Tessa, Amir Boukhris, Hamid Azzedine, Maria Teresa Dotti, Claudio Bruno, Jeremy Truchetto, Roberta Biancheri, Estelle Fedirko

Journal:

Year:

2009

Language:

english

File:

PDF, 842 KB

english, 2009

7

An Environment for the Development of Concurrent Object-Based Applications

Fernando L. Dotti, Lucio M. Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar M. dos Santos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 225 KB

english, 2005

8

Stochastic Object-Based Graph Grammars

Odorico M. Mendizabal, Fernando L. Dotti, Leila Ribeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 511 KB

english, 2007

9

Verifying Object-based Graph Grammars

Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 1.18 MB

english, 2006

10

A Graph Transformation View on the Specification of Applications using Mobile Code

Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 236 KB

english, 2001

11

Molecular identification of hybrids between Neotropical catfish species Pseudoplatystoma corruscans and Pseudoplatystoma reticulatum

Fernanda Dotti do Prado, Diogo Teruo Hashimoto, Fernando Fernandes Mendonça, José Augusto Senhorini, Fausto Foresti, Fábio Porto-Foresti

Journal:

Aquaculture Research

Year:

2011

Language:

english

File:

PDF, 206 KB

english, 2011

12

Correct transformation: From object-based graph grammars to PROMELA

Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 835 KB

english, 2012

13

[IEEE 2009 Fourth Latin-American Symposium on Dependable Computing (LADC) - Joao Pessoa, Paraiba, Brazil (2009.09.1-2009.09.4)] 2009 Fourth Latin-American Symposium on Dependable Computing - Structuring Specifications with Modes

Iliasov, Alexei, Romanovsky, Alexander, Dotti, Fernando Luís

Year:

2009

Language:

english

File:

PDF, 228 KB

english, 2009

14

[IEEE 2011 Workshop-School on Theoretical Computer Science (WEIT) - Pelotas, Brazil (2011.08.24-2011.08.26)] 2011 Workshop-School on Theoretical Computer Science - Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

Ribeiro, Leila, Dotti, Fernando Luis

Year:

2011

Language:

english

File:

PDF, 188 KB

english, 2011

15

[IEEE 2014 Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) - Florianopolis, Brazil (2014.5.5-2014.5.9)] 2014 Brazilian Symposium on Computer Networks and Distributed Systems - A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks

Hasan, Rasha, Mendizabal, Odorico Machado, Oliveira, Romulo Reis de, Dotti, Fernando Luis

Year:

2014

Language:

english

File:

PDF, 618 KB

english, 2014

16

[ACM Press the 3rd ACM international workshop - Terromolinos, Spain (2006.10.06-2006.10.06)] Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks - PE-WASUN '06 - Analytical modeling of random waypoint mobility patterns

Delamare, Fábio, Dotti, Fernando Luís, Fernandes, Paulo, Nunes, Cristina M., Ost, Luciano C.

Year:

2006

Language:

english

File:

PDF, 287 KB

english, 2006

17

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - DEVOpT

Mathias, Eder N., da Costa, Celso M., Dotti, Fernando L., Müller, Felipe M.

Year:

2002

Language:

english

File:

PDF, 815 KB

english, 2002

18

Modelling the impacts of policies on advanced biofuel feedstocks diffusion

Ribeiro, Lauro André, Pereira da Silva, Patrícia, Ribeiro, Leila, Dotti, Fernando Luís

Journal:

Journal of Cleaner Production

Year:

2016

Language:

english

File:

PDF, 645 KB

english, 2016

19

[IEEE 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Orlando, FL, USA (2017.5.29-2017.6.2)] 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Efficient and Deterministic Scheduling for Parallel State Machine Replication

Mendizabal, Odorico M., Moura, Ruda S. T. De, Dotti, Fernando Luis, Pedone, Fernando

Year:

2017

Language:

english

File:

PDF, 276 KB

english, 2017

20

[IEEE 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) - Atlanta, GA, USA (2017.6.5-2017.6.8)] 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) - High Performance Recovery for Parallel State Machine Replication

Mendizabal, Odorico Machado, Dotti, Fernando Luis, Pedone, Fernando

Year:

2017

Language:

english

File:

PDF, 402 KB

english, 2017

21

[IEEE 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS) - Hong Kong, Hong Kong (2017.9.26-2017.9.29)] 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS) - Reconfiguring Parallel State Machine Replication

Alchieri, Eduardo, Dotti, Fernando, Mendizabal, Odorico M., Pedone, Fernando

Year:

2017

Language:

english

File:

PDF, 548 KB

english, 2017

22

[IEEE 2018 8th Latin-American Symposium on Dependable Computing (LADC) - Foz do Iguaçu, Brazil (2018.10.8-2018.10.10)] 2018 Eighth Latin-American Symposium on Dependable Computing (LADC) - Boosting State Machine Replication with Concurrent Execution

Alchieri, Eduardo, Dotti, Fernando, Marandi, Parisa, Mendizabal, Odorico, Pedone, Fernando

Year:

2018

Language:

english

File:

PDF, 42 KB

english, 2018

23

[IEEE 2019 9th Latin-American Symposium on Dependable Computing (LADC) - Natal, Brazil (2019.11.19-2019.11.21)] 2019 9th Latin-American Symposium on Dependable Computing (LADC) - Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication

Batista, Elia, Alchieri, Eduardo, Dotti, Fernando, Pedone, Fernando

Year:

2019

File:

PDF, 610 KB

2019